results for Probabilistically Checkable Proofs